include(TestingMacros)

add_regression_test(decontract "psi;quicktests;cc;cart")
